Nuprl Definition : rel-path 11,40

rel-path(R;L) == i:{0..(||L|| - 1)}. L[i] R L[(i+1)] 
latex


Definitionsx:A. B(x), {i..j}, n - m, ||as||, x f y, l[i], n+m, #$n
FDL editor aliasesrel-path

origin